- implicative proposition
- импликативное предложение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
implicative proposition
Смотреть что такое "implicative proposition" в других словарях:
Logique Intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français
Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français
Correspondance De Curry-Howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… … Wikipédia en Français
Correspondance de Curry-Howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… … Wikipédia en Français
Correspondance de curry-howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… … Wikipédia en Français
Curry-Howard — Correspondance de Curry Howard La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique… … Wikipédia en Français
Isomorphisme de Curry-Howard — Correspondance de Curry Howard La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique… … Wikipédia en Français
Peano-Russell notation — was Bertrand Russell s application of Peano s logical notation to the logical notions of Frege and was used in the writing of Principia Mathematica in collaboration with Alfred North Whitehead: [Russell, p. 4] The notation adopted in the present… … Wikipedia
THÉOLOGIE — Alain définissait la théologie «une philosophie sans recul». Il voulait dire qu’elle manque d’indépendance critique, qu’elle est liée à un système de croyances, à un dogme, qu’elle accepte une orthodoxie, une autorité, une censure: vérité… … Encyclopédie Universelle
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia
imply — verb /ɪmˈplaɪ/ a) to have as a necessary consequence And in his bosome secretly there lay / An hatefull Snake, the which his taile vptyes / In many folds, and mortall sting implyes. b) to suggest by logical inference The proposition that all dogs … Wiktionary
